TSTP Solution File: SEV481^1 by SInE---0.4